Informal mathematics - PDFSEARCH.IO - Document Search Engine

Informal mathematics
Results: 71

#	Item
21	Mental simulation and the construction of informal algorithms Sangeet Khemlani1 and Phil Johnson-Laird2 [removed], [removed] 1 Naval Research Laboratory, Washington, DC[removed]USA 2 Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2013-05-13 12:59:15 Operations research Algorithm Mathematical logic Stack Simulation Computer science Search algorithms Theoretical computer science Applied mathematics Mathematics
22	POSTNOTE Number 382 June 2011 POSTNOTE Informal STEM Education Add to Reading List Source URL: www.parliament.uk Language: English - Date: 2011-06-16 06:09:08 Department for Education Science and technology in the United Kingdom Science Technology Engineering and Mathematics Network Teacher Informal learning Pre-STEM America COMPETES Act Education Science education Department for Business Innovation and Skills
23	Department of Systems Engineering and Engineering Management Seminar Series An Informal Discussion of Quantum Computing and Quantum Probability Dr. Michael Edesess Add to Reading List Source URL: www.cityu.edu.hk Language: English - Date: 2015-02-27 03:51:01 Computational complexity theory Information theory Quantum computer Quantum cryptography Daniel Lidar Theoretical computer science Applied mathematics Computer science
24	i i “ftoc” — [removed] — 17:37 — page vii — #1 i Add to Reading List Source URL: media.wiley.com Language: English - Date: 2013-08-29 10:18:00 Mathematical logic Traditional logic Axiology Many-valued logic Syllogism Metalogic Informal logic Index of logic articles Outline of logic Logic Science Mathematics
25	Logic in General Philosophy of Science: Old Things and New Things Hannes Leitgeb Departments of Philosophy and Mathematics University of Bristol Abstract. This is a personal, incomplete, and very informal take on the rol Add to Reading List Source URL: www.mcmp.philosophie.uni-muenchen.de Language: English - Date: 2014-01-14 06:12:06 Philosophy of science Philosophical logic Model theory Epistemology Formal languages Philosophy of mathematics Logical positivism Rudolf Carnap Interpretation Logic Science Philosophy
26	Mathematical Induction[removed]INFORMAL INTRODUCTION The point of metatheory is to establish facts about logic, as distinguished Add to Reading List Source URL: www.jimpryor.net Language: English - Date: 2013-10-26 19:49:52 Mathematical logic Inductive reasoning Mathematical proofs Philosophical logic Model theory Mathematical induction Propositional calculus Recursive definition First-order logic Logic Mathematics Science
27	Logic in Milan an informal workshop When: March[removed], 15:00 – 18:00 Where: DSI, Aula Riunioni 2 Piano Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-03-16 04:32:08 Model theory Logic in computer science Non-classical logic Mathematical constructivism Philosophy of mathematics Intuitionistic logic Kripke semantics Denotational semantics Propositional calculus Logic Mathematical logic Mathematics
28	1st Grade Number and Operations Informal Assessment Tasks Add to Reading List Source URL: wvde.state.wv.us Language: English - Date: 2008-12-03 12:57:38 Subtraction Addition Base ten blocks 0.999... 24 Game Parity Number Mathematical manipulative Mathematics Elementary arithmetic Binary operations
29	3rd Grade Number & Operations Informal Assessment Tasks M.O[removed]read, write, order, and compare numbers to 10,000 using a variety of strategies (e.g., symbols, manipulatives, number line). Add to Reading List Source URL: wvde.state.wv.us Language: English - Date: 2008-04-15 14:02:06 Binary operations Mathematical notation Numeral systems Computer arithmetic Fraction Floating point 0.999... Number Addition Mathematics Elementary arithmetic Arithmetic
30	2nd Grade Data Analysis and Probability Informal Assessment Tasks Add to Reading List Source URL: wvde.state.wv.us Language: English - Date: 2008-07-10 07:25:05 Bar chart Graph theory Graph Mathematics

UPDATE